; (A 1 10) = 1024
; (A 2 4) = 65536
; (A 3 3) = 65536
; 
; (f n) = 2n
; (g n) = 2^n
; (h n) = 2^2^2^... (the number of 2s is n)
